doi: Constraint Satisfaction Problems and Global Cardinality Constraints By Andrei A. Bulatov and Dániel Marx

Source URL: www.cs.bme.hu

Constraint Satisfaction Problems (CSP) • CSP’s are our first work on factored representations Introduction to Artificial Intelligence COMPCOMPLecture 5: CSP

Source URL: www.cs.du.edu

Playing with Boolean Blocks, Part II: Constraint Satisfaction Problems1 Elmar B¨ ohler2 , Nadia Creignou3 , Steffen Reith4 , and Heribert Vollmer5 Introduction In the previous column we played with Boolean functions as

Source URL: www.thi.uni-hannover.de

PDF Document

Source URL: homepages.ecs.vuw.ac.nz

• C
• Data types
• Pointer
• Struct
• Const
• Typedef
• Mathematical optimization
• ALGOL 68
• Constraint inference
• Constraint satisfaction

Constraints Ian Miguel () Ian Gent, Andy Grayland, Chris Jefferson, Tom Kelsey, Lars Kotthoff, Steve Linton, Neil Moore, Peter Nightingale, Andrea Rendl

Source URL: www-circa.mcs.st-and.ac.uk

• Computing
• Constraint satisfaction
• Constraint
• Constraint logic programming
• Complexity of constraint satisfaction
• Constraint programming
• Software engineering
• Computer programming

eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp

Source URL: www.factory-in-a-day.eu

• Computer programming
• Mathematical optimization
• Constraint satisfaction
• Operations research
• Quadratic programming
• Slack variable
• Ada
• Constraint Composite Graph
• Constraint logic programming
• Constraint programming
• Software engineering
• Computing

RealPaver User’s Manual Solving Nonlinear Constraints by Interval Computations Edition 0.4, for RealPaver Version 0.4 AugustLaurent Granvilliers

Source URL: pagesperso.lina.univ-nantes.fr

• Constraint satisfaction
• France
• Government of France
• Constraint programming
• Nantes

On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2

Source URL: www.informatik.uni-bremen.de

• Finite model theory
• Descriptive complexity
• Computational complexity theory
• FO
• Constraint programming
• Constraint satisfaction problem
• Conjunctive query
• SO
• HO
• Theoretical computer science
• Applied mathematics
• Complexity classes

A Constraint Extension to Scalable Vector Graphics Greg J. Badros Will Portnoy Jeff Nichols Alan Borning {badros,will,jwnichls,borning}@cs.washington.edu Dept. of Computer Science and Engineering University of Washington

Source URL: www.badros.com

• Cassowary
• Scalable Vector Graphics
• SVG animation
• Constraint satisfaction
• Cascading Style Sheets
• Document Type Definition
• Declarative programming
• HTML
• SVG Working Group
• Computing
• Web standards
• Markup languages

Answer Set Programming Answer Set Programs Answer Set Semantics Implementation Techniques Using Answer Set Programming

Source URL: www.cs.bath.ac.uk

• Computing
• Answer set programming
• Stable model semantics
• Prolog
• DLV
• Constraint satisfaction
• Logic programming
• Software engineering
• Computer programming